Buffoni, Lena: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

An integrated toolchain for model based functional safety analysis

Rogovchenko-Buffoni, Lena, Tundis, Andrea, Hossain, Muhammed Zoheb, Nyberg, Mattias, Fritzson, Peter

Journal:

Journal of Computational Science

Year:

2014

Language:

english

File:

PDF, 1.78 MB

english, 2014

2

Model-Based Dependability Analysis of Physical Systems with Modelica

Tundis, Andrea, Buffoni, Lena, Fritzson, Peter, Garro, Alfredo

Journal:

Modelling and Simulation in Engineering

Year:

2017

Language:

english

File:

PDF, 2.36 MB

english, 2017

3

[IEEE 2016 IEEE International Symposium on Systems Engineering (ISSE) - Edinburgh, United Kingdom (2016.10.3-2016.10.5)] 2016 IEEE International Symposium on Systems Engineering (ISSE) - On formal cyber physical system properties modeling: A new temporal logic language and a Modelica-based solution

Garro, Alfredo, Tundis, Andrea, Bouskela, Daniel, Jardin, Audrey, Thuy, Nguyen, Otter, Martin, Buffoni, Lena, Fritzson, Peter, Sjolund, Martin, Schamai, Wladimir, Olsson, Hans

Year:

2016

Language:

english

File:

PDF, 988 KB

english, 2016

4

Towards the Automation of Model-Based Design Verification

Schamai, Wladimir, Helle, Philipp, Albarello, Nicolas, Buffoni, Lena, Fritzson, Peter

Journal:

INCOSE International Symposium

Year:

2016

Language:

english

File:

PDF, 692 KB

english, 2016

5

[IEEE 2013 8th EUROSIM Congress on Modelling and Simulation (EUROSIM) - Cardiff, United Kingdom (2013.9.10-2013.9.13)] 2013 8th EUROSIM Congress on Modelling and Simulation - Requirement Verification and Dependency Tracing During Simulation in Modelica

Buffoni-Rogovchenko, Lena, Fritzson, Peter, Nyberg, Mattias, Garro, Alfredo, Tundis, Andrea

Year:

2013

Language:

english

File:

PDF, 279 KB

english, 2013

6

TOWARDS THE AUTOMATION OF MODEL-BASED DESIGN VERIFICATION

Schamai, Wladimir, Albarello, Nicolas, Helle, Philipp, Buffoni, Lena, Fritzson, Peter

Journal:

Year:

2017

Language:

english

File:

PDF, 692 KB

english, 2017

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски